def split(x: M): (M, M) = (x, x)